Access Control / Verification and Validation / Petri Nets / Formal Specification / Real Time Systems / Active Database / Formal Verification / Access Control Models / Petri Net / Workflow Management System / Authorisation / Real Time Application / Role Based Access Control / Active Database / Formal Verification / Access Control Models / Petri Net / Workflow Management System / Authorisation / Real Time Application / Role Based Access Control
Access Control / Language Policy / Security Policy / Access Control Models / Web Service / Semantic Integration / Internet / Semantic Integration / Internet
Access Control / User Interface / CSCW / Data Structure / Information Sharing / Reading and writing / Access Control Models / Model development / Multi Dimensional / User Interaction / Reading and writing / Access Control Models / Model development / Multi Dimensional / User Interaction